1. .....................

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence

رده :
QA
9
.
C483

2. A 25-Year Perspective on Logic Programmin

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science.,Information theory.,Logic design.,Artificial intelligence.

3. A paraconsistent decision-making method /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.

رده :
Q342

4. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical

رده :
Q
335
.
T99
1988

5. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
Q
335
.
T99

6. Abduction and Induction

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.

7. Abduction in Context

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(

رده :
EBOOK
,
HV
A33
6626
.
2

8. Abductive inference models for diagnostic problem-solving

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning

رده :
Q
335
.
P414
1990

9. Abductive reasoning :logical investigations into discovery and explanation

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence

رده :
BC199
.
A26
A45
2006

10. Advances in knowledge Representation, Logic programming, and Abstract Argumentation

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04

رده :
TJ
211
.
A3
2015
E-Book
,

11. Advances in logic, artificial intelligence, and robotics

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;

12. Advances in logic, artificial intelligence, and robotics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.

رده :
Q334
.
C69
2002eb

13. #Advances in logic, artificial intelligence, and robotics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع : Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses

رده :
#
Q
،#.
C69
،#
2002

14. Advances in logic, artificial intelligence and robotics

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses

رده :
Q
,
334
,.
C684
,
2002

15. Advances in logic, artificial intelligence and robotics: LAPTEC 2002

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses

رده :
Q
334
.
A39

16. Advances in logic based intelligent systems

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses

رده :
Q
،
334
،.
C69
،
2005

17. Advances in logic based intelligent systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.

رده :
Q334
.
C69
2005

18. Advances in technological applications of logical and intelligent systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses

19. Algebraic Foundations of Many-Valued Reasoning

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

20. Algebraic and Logic Programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic design.